<!DOCTYPE html>
<html lang="en">
  <head> </head>
  <body>
    <script type="text/javascript" src="static/js/devtools.js"></script>
  </body>
</html>